Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
121	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
122	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
123	Skill Cluster Page 1 Learning Skill 1.1 Interactive Skills - Exchanging thoughts, messages & information effectively through interaction Add to Reading List Source URL: taolearn.com Language: English - Date: 2015-05-21 20:54:53 Seattle Mariners all-time roster Baltimore Orioles all-time roster Modal logic Non-classical logic Philosophical logic
124	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
125	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
126	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
127	Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-05-22 05:57:02 Information science Temporal logic Modal logic Science Information Non-classical logic Artificial intelligence Description logic
128	Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:34:48 Locally compact space Duality Logic Equivalence of categories Stone duality Non-classical analysis Topology Mathematics General topology
129	Matching with Preferences over Colleagues Solves Classical Matching Scott Duke Kominers∗,1 Department of Economics, Harvard University and Harvard Business School Abstract Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2009-12-01 08:03:55 Cooperative games Game theory Combinatorial optimization Stable marriage problem Entailment Preference Stable roommates problem Mathematics Logic Matching
130	POLITICS and INTERNATIONAL RELATIONS Fundamentals 2: Semester 1 PLIT08010 SEMESTERTuesdays, alternate weeks, 2.10pm Add to Reading List Source URL: www.sps.ed.ac.uk Language: English - Date: 2014-09-18 09:44:02 Social philosophy Logic Critical thinking Classical liberals Belief Ethics Ronald Dworkin Essay Utilitarianism Philosophy Education Knowledge

UPDATE